Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
681	Appears in Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany, March 2000, Springer-Verlag LNCSType Classes with Functional Dependencies? Mark P. Jones Department of Computer Scie Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:50 Software engineering Computer programming Computing Data types Type theory Functional programming C++ Type class C++ classes Monad Parameter Type system
682	Zips: Mining Compressing Sequential Patterns in Streams Hoang Thanh Lam Toon Calders Jie Yang Add to Reading List Source URL: poloclub.gatech.edu Language: English - Date: 2013-07-08 06:02:58 Computing Mathematics Computer programming Data compression LZ77 and LZ78 Lossless compression Code Algorithm Huffman coding Trie String LempelZivWelch
683	Vol. 5, No. 1, January–FebruaryAn efficient tool for recovering Design Patterns from C++ Code Marek Vok´ aˇ c, Software Engineering Department, Simula Research Laboratory, Add to Reading List Source URL: www.jot.fm Language: English - Date: 2007-08-10 11:00:45 Software engineering Computer programming Software design patterns Design Patterns Factory Object-oriented programming Class Template method pattern Objective-C Iterator Observer pattern Generic programming
684	On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:28:59 Mathematics Theoretical computer science Mathematical analysis Operator theory Computability theory Automated theorem proving Logic programming Type theory Unification operator Spectral theory of ordinary differential equations
685	A New Corpus and Imitation Learning Framework for Context-Dependent Semantic Parsing Andreas Vlachos Computer Science Department University College London Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-11-26 07:09:11 Software engineering Semantics Computer programming Linguistics Multimodal interaction Compiler construction Parsing Semantic interpretation Dependency grammar Predicate Syntax
686	Compiler Generation for Interactive Graphics using Intermediate Code Scott Draves School of Computer Science Carnegie Mellon University 5000 Forbes Avenue, Pitsburgh, PA 15213, USA Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Computing Data types Procedural programming languages Cross-platform software Object-oriented programming languages Functional languages Common Lisp Const Type system D
687	CS201 Problem Solving with Computers – Spring 16 Course Code 201 Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2016-01-25 00:01:14 Education Computing Mark Guzdial Object-oriented programming Email Electromagnetism Educational technology Computer science Computer
688	Design and Evaluation of Gradual Typing for Python Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, and Jim Baker* Indiana University Bloomington Rackspace, Inc Add to Reading List Source URL: homes.soic.indiana.edu Language: English* - Date: 2015-04-23 14:36:49 Software engineering Computer programming Computing Data types Object Functional programming Immutable object Reference Objective-C Pointer Immutable interface
689	A Browser Front End For CORBA Objects Atul Kumar, Deepak Gupta, Pankaj Jalote Department of Computer Science and Engineering, Indian Institute of Technology Kanpur − 208016, India {atul, deepak, jalote} @iitk.ac.in Add to Reading List Source URL: www10.org Language: English - Date: 2001-02-07 00:07:04 Computing Object-oriented programming Internet protocols Inter-process communication Common Object Request Broker Architecture Component-based software engineering Interoperable Object Reference Object Uniform Resource Identifier General Inter-ORB Protocol Distributed object Hypertext Transfer Protocol
690	DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman Add to Reading List Source URL: www.williamjbowman.com Language: English - Date: 2016-08-20 09:03:03 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Theoretical computer science Mathematical logic Differential topology Generalised Whitehead product Orbifold

UPDATE